; MSR : model specific registers
; address and definitions
IA32_EFER             = 0C0000080h
EFER_LME              = 0100h
EFER_LMA              = 0400h
EFER_NXE              = 0800h

IA32_FEATURE_CONTROL  = 003Ah
FCTL_LOCK             = 0001h
FCTL_SMX              = 0002h
FCTL_OSMX             = 0004h
